منابع مشابه
Concurrent data representation synthesis Citation
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a representation of the relations as sets of cooperating data structures as well as the placement and acquisition of locks to synchronize concurrent access to those data structures. The resulting code is correct by constr...
متن کاملData representation synthesis Citation
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies. We describe a language of decompositions that permit the user to specify different concrete representations for relations, and...
متن کاملHigh-level Synthesis of Data Paths with Concurrent Error Detection
High-level synthesis of data paths with concurrent self-checking abilities is discussed to balance redundancy, latency, and checking effectiveness. The nominal and the checking computations are scheduled and allocated contemporaneously by using a force-directed approach to limit the number of redundant units required to achieve detection within the latency of the nominal computation only. Resou...
متن کاملSpectral data representation techniques for realistic image synthesis
Digital image synthesis is used in many industrial applications. One goal of this discipline is the physical correct simulation of natural phenomena such as the color of the blue sky or refraction in translucent materials. To accomplish this goal the usage of spectral data for the representation of color information is indispensable. For this purpose different methods were developed over the ye...
متن کاملSynthesis of Fault - Tolerant Concurrent
Methods for mechanically synthesizing concurrent programs from temporal logic speciications have been proposed (cf. EC82, MW84, PR89, PR89b, AM94]). An important advantage of these synthesis methods is that they obviate the need to manually construct a program and compose a proof of its correctness. A serious drawback of these methods in practice, however, is that they produce concurrent progra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2012
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2345156.2254114